Testing based on the RELAY model of error detection

RELAY, a model for error detection, defines revealing conditions that guarantee that a fault originates an error during execution and that the error transfers through computations and data flow until it is revealed. This model of error detection provides a fault-based criterion for test data selection. The model is applied by choosing a fault classification, instantiating the conditions for the classes of faults, and applying them to the program being tested. Such an application guarantees the detection of errors caused by any fault of the chosen classes. As a formal mode of error detection, RELAY provides the basis for an automated testing tool. This paper presents the concepts behind RELAY, describes why it is better than other fault-based testing criteria, and discusses how RELAY could be used as the foundation for a testing system

The probable, possible, and novel functions of ERp29

The luminal endoplasmic reticulum (ER) protein of 29 kDa (ERp29) is a ubiquitously expressed cellular agent with multiple critical roles. ERp29 regulates the biosynthesis and trafficking of several transmembrane and secretory proteins, including the cystic fibrosis transmembrane conductance regulator (CFTR), the epithelial sodium channel (ENaC), thyroglobulin, connexin 43 hemichannels, and proinsulin. ERp29 is hypothesized to promote ER t

High-efficiency, single-stage 7-kHz high-average-power ultrafast laser system

Includes bibliographical references (page 467).We demonstrate a simple and practical single-stage ultrafast laser amplifier system that operates at a repetition frequency from 1 to 10 kHz, with millijoule pulse energy and as much as 13 W of average power. The repetition rate can be adjusted continuously from 1 to 10 kHz by new all-solid-state pump laser technology. This is to our knowledge the highest average power ever obtained from a single-stage ultrafast laser amplifier system. This laser will significantly increase the average power and the repetition rate that is easily accessible for high-field experiments such as coherent x-ray generation or for laser-synchrotron studies

A Descriptive Profile of Physical Education Teachers and Related Program Characteristics in Alberta

A survey of teachers and principals in Alberta was conducted to gain a descriptive profile of who is leaching physical education (PE) and to assess the relationship between PE specialists and variables associated with program delivery. A probability-sampling procedure was used to obtain a representative sample of schools. In these schools nonprobability procedures were used to recruit teachers. A total of'480 teachers' and 162 principals' questionnaires were returned. Although 50% (n=236) of PE teachers in the sample were classified as PE specialists (i.e., had either a degree, major or minor, in PE or a closely related area), there was a significant gap in the number of PE classes being taught by division. Of the 1,219 PE classes surveyed in this study, PE specialists taught 49% and 55% of classes at the elementary levels (Divisions I & 11) compared with 91% of junior high (Division III) and 90% of secondary (Division TV) PE classes. Significant differences were found between PE specialists and non-PE specialists on a number of items including perceptions of preparedness, teaching enjoyment and competence to teach PE, the number of PE specialists across grade levels, and the percentage of time devoted to PE in the timetable. Implications with respect to implementing PE specialists across all grades and the need for future pedagogical research to investigate the effect of PE specialists are also discussed.Une enquête a été entreprise auprès d'enseignants et de directeurs d'école en Alberta dans le but d'établir un profil descriptif des enseignants d'éducation physique (EP) et d'évaluer le rapport entre les spécialistes en EP et les variables associées à l'exécution de programmes. On a eu recours aune méthode d'échantillonnage au hasard pour obtenir un échantillon représentatif des écoles. Par la suite, on y a employé des procédures non probabilistes pour recruter des enseignants. En tout, 642 questionnaires (480 provenant d'enseignants et 162 de directeurs) nous ont été renvoyés. Alors que 50% (n=236) des enseignants de EP de l'échantillon se classaient comme spécialistes en EP (c'est-à-dire qu'ils avaient soit un diplôme, une majeure ou une mineure en EP ou dans un domaine connexe), un écart notable existait dans le nombre de cours de EP enseignés par division. Des 1 219 cours de EP inclus dans l'enquête, à l'élémentaire, 49% (Division I) et 55% (Division II) d'entre eux étaient enseignés par des spécialistes en EP. Au secondaire premier cycle (Division III), 91% des cours étaient enseignés par des spécialistes en EP; au secondaire (Division IV), 90% des cours l'étaient. Des différences importantes distinguaient les spécialistes en EP des non spécialistes, y compris leurs perceptions quant à leur état de préparation, le plaisir qu'il retirait de l'enseignement de l'EP, leur compétence à le faire, le nombre de spécialistes en EP à tous les niveaux scolaires et le nombre d'heures consacrées aux cours de EP. Une discussion portant sur les implications de la mise en place de spécialistes en EP à tous les niveaux scolaires et sur la nécessité d'étudier l'effet qu'exercent ceux-ci, termine l'article

A Causal Role of the Right Superior Temporal Sulcus in Emotion Recognition From Biological Motion

Understanding the emotions of others through nonverbal cues is critical for successful social interactions. The right posterior superior temporal sulcus (pSTS) is one brain region thought to be key in the recognition of the mental states of others based on body language and facial expression. In the present study, we temporarily disrupted functional activity of the right pSTS by using continuous, theta-burst transcranial magnetic stimulation (cTBS) to test the hypothesis that the right pSTS plays a causal role in emotion recognition from body movements. Participants (N = 23) received cTBS to the right pSTS, which was individually localized using fMRI, and a vertex control site. Before and after cTBS, we tested participants’ ability to identify emotions from point-light displays (PLDs) of biological motion stimuli and a nonbiological global motion identification task. Results revealed that accurate identification of emotional states from biological motion was reduced following cTBS to the right pSTS, but accuracy was not impaired following vertex stimulation. Accuracy on the global motion task was unaffected by cTBS to either site. These results support the causal role of the right pSTS in decoding information about others’ emotional state from their body movements and gestures

The Ursinus Weekly, May 21, 1909

Brotherhood of St. Paul fletcherizes • Buffalo Bill in Philadelphia • Malcolm Shackelford entertains audience • Glee club • Lecture • Baseball • Ursinus Union • Tennis tournament • Society notes • Alumni notes • Personals • Field house fund • Literary Supplement: A day in May; The power of sentiment; A generation of vipers; Literary criticism on Tolstoy; The power of ideas; Money and hypocrisyhttps://digitalcommons.ursinus.edu/weekly/2873/thumbnail.jp

Association mapping across a multitude of traits collected in diverse environments in maize

Classical genetic studies have identified many cases of pleiotropy where mutations in individual genes alter many different phenotypes. Quantitative genetic studies of natural genetic variants frequently examine one or a few traits, limiting their potential to identify pleiotropic effects of natural genetic variants. Widely adopted community association panels have been employed by plant genetics communities to study the genetic basis of naturally occurring phenotypic variation in a wide range of traits. High-density genetic marker data—18M markers—from 2 partially overlapping maize association panels comprising 1,014 unique genotypes grown in field trials across at least 7 US states and scored for 162 distinct trait data sets enabled the identification of of 2,154 suggestive marker-trait associations and 697 confident associations in the maize genome using a resampling-based genome-wide association strategy. The precision of individual marker-trait associations was estimated to be 3 genes based on a reference set of genes with known phenotypes. Examples were observed of both genetic loci associated with variation in diverse traits (e.g., above-ground and below-ground traits), as well as individual loci associated with the same or similar traits across diverse environments. Many significant signals are located near genes whose functions were previously entirely unknown or estimated purely via functional data on homologs. This study demonstrates the potential of mining community association panel data using new higher-density genetic marker sets combined with resampling-based genome-wide association tests to develop testable hypotheses about gene functions, identify potential pleiotropic effects of natural genetic variants, and study genotype-by-environment interaction

Modeling of the hemodynamic responses in block design fMRI studies

The hemodynarnic response function (HRF) describes the local response of brain vasculature to functional activation. Accurate HRF modeling enables the investigation of cerebral blood flow regulation and improves our ability to interpret fMRI results. Block designs have been used extensively as fMRI paradigms because detection power is maximized; however, block designs are not optimal for HRF parameter estimation. Here we assessed the utility of block design fMRI data for HRF modeling. The trueness (relative deviation), precision (relative uncertainty), and identifiability (goodness-of-fit) of different HRF models were examined and test-retest reproducibility of HRF parameter estimates was assessed using computer simulations and fMRI data from 82 healthy young adult twins acquired on two occasions 3 to 4 months apart. The effects of systematically varying attributes of the block design paradigm were also examined. In our comparison of five HRF models, the model comprising the sum of two gamma functions with six free parameters had greatest parameter accuracy and identifiability. Hemodynamic response function height and time to peak were highly reproducible between studies and width was moderately reproducible but the reproducibility of onset time was low. This study established the feasibility and test-retest reliability of estimating HRF parameters using data from block design fMRI studies

Study protocol for a randomized controlled trial comparing the efficacy of a specialist and a generic parenting programme for the treatment of preschool ADHD

BACKGROUND: The New Forest Parenting Programme (NFPP) is a home-delivered, evidence-based parenting programme to target symptoms of attention-deficit/hyperactivity disorder (ADHD) in preschool children. It has been adapted for use with 'hard-to-reach' or 'difficult-to-treat' children. This trial will compare the adapted-NFPP with a generic parenting group-based programme, Incredible Years (IY), which has been recommended for children with preschool-type ADHD symptoms.METHODS/DESIGN: This multicentre randomized controlled trial comprises three arms: adapted-NFPP, IY and treatment as usual (TAU). A sample of 329 parents of preschool-aged children with a research diagnosis of ADHD enriched for hard-to-reach and potentially treatment-resistant children will be allocated to the arms in the ratio 3:3:1. Participants in the adapted-NFPP and IY arms receive an induction visit followed by 12 weekly parenting sessions of 1½ hours (adapted-NFPP) or 2½ hours (IY) over 2.5 years. Adapted-NFPP will be delivered as a one-to-one home-based intervention; IY, as a group-based intervention. TAU participants are offered a parenting programme at the end of the study. The primary objective is to test whether the adapted-NFPP produces beneficial effects in terms of core ADHD symptoms. Secondary objectives include examination of the treatment impact on secondary outcomes, a study of cost-effectiveness and examination of the mediating role of treatment-induced changes in parenting behaviour and neuropsychological function. The primary outcome is change in ADHD symptoms, as measured by the parent-completed version of the SNAP-IV questionnaire, adjusted for pretreatment SNAP-IV score. Secondary outcome measures are: a validated index of behaviour during child's solo play; teacher-reported SNAP-IV (ADHD scale); teacher and parent SNAP-IV (ODD) Scale; Eyberg Child Behaviour Inventory - Oppositional Defiant Disorder scale; Revised Client Service Receipt Inventory - Health Economics Costs measure and EuroQol (EQ5D) health-related quality-of-life measure. Follow-up measures will be collected 6 months after treatment for participants allocated to adapted-NFPP and IY.DISCUSSION: This trial will provide evidence as to whether the adapted-NFPP is more effective and cost-effective than the recommended treatment and TAU. It will also provide information about mediating factors (improved parenting and neuropsychological function) and moderating factors (parent and child genetic factors) in any increased benefit.TRIAL REGISTRATION: Current Controlled Trials, ISRCTN39288126.</p